Adaptation par révision et adaptation différentielle : comparaison de deux approches de l'adaptation

National audienceL'objectif de cet article est la comparaison de deux approches de l'adaptation. L'adaptation par révision (APR) s'appuie sur un opérateur de révision des connaissances et consiste à appliquer cet opérateur pour réviser le cas source par le cas cible qui représente le problème à résoudre, en prenant en compte les connaissances du domaine. Les connaissances utiles à l'APR sont l'opérateur de révision et les connaissances du domaine. L'adaptation différentielle (AD) s'inspire du calcul différentiel en le généralisant à des espaces de représentation non nécessairement numériques. Les connaissances d'adaptation de l'AD sont les influences de chaque variation de descripteurs de problème sur les variations des descripteurs de solution. Il est montré que l'APR généralise l'AD au sens où on peut construire un opérateur de révision paramétré par les connaissances de l'AD telles que l'APR muni d'un tel opérateur et sans connaissances du domaine coïncide avec l'AD. Cela indique d'une part comment étendre l'AD pour qu'elle tienne compte de connaissances du domaine et, d'autre part, comment choisir un opérateur de révision pertinent pour l'APR en s'appuyant sur les principes de l'AD

Adapter des cas en utilisant un opérateur de révision ou des règles

National audienceL'étape d'adaptation d'un système de raisonnement à partir de cas consiste à modifier un cas source en vue de la résolution d'un problème cible. Une des approches de l'adaptation s'appuie sur un opérateur de révision : la connaissance associée au cas source est révisée par les contraintes du problème cible, en tenant compte des connaissances du domaine. Une autre approche de l'adaptation consiste à appliquer des règles d'adaptation. L'objectif de cet article est d'étudier les liens entre ces deux approches de l'adaptation. Étant donné un ensemble de règles d'adaptation, on peut construire un opérateur de révision fondé sur ces règles qui fait coïncider les deux approches. On peut montrer également comment l'approche utilisant la révision peut étendre l'approche à partir de règles. Cela ne rend pas les travaux sur l'approche à base de règles d'adaptation inutiles. Au contraire, l'acquisition de telles règles dans un domaine particulier permet de définir un opérateur de révision approprié pour l'adaptation dans ce domaine

Belief Merging-based Case Combination

The original publication is available at www.springerlink.comInternational audienceIntegrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity constraint. It is applied here to case combination for case-based reasoning. This approach is shown to extend Eyke Hüllermeier's credible case-based inference and to be reducible under some assumptions to linear programming

Une approche de l'adaptation en raisonnement à partir de cas fondée sur l'optimisation sous contraintes

National audienceUne approche de l'adaptation en raisonnement à partir de cas (RÀPC) qui repose sur la théorie du changement minimal est présentée ici dans un formalisme plus général que la logique propositionnelle finie. Ce formalisme permet d'exprimer des valeurs numériques ce qui est utile dans le cadre du RÀPC. Cette approche est réduite à un problème d'optimisation, et sous hypothèses, à un problème de programmation linéaire

Formalisation de l'adaptation conservatrice dans les espaces métriques

National audienceL'adaptation conservatrice est une approche de l'adaptation en raisonnement à partir de cas qui s'appuie sur le principe du changement minimal du contexte source vers le contexte cible. Cette notion de changement minimal du contexte se retrouve dans la notion d'opérateur de révision des connaissances, notion formalisée par la théorie AGM. Cette théorie peut alors être réutilisée pour formaliser l'adaptation conservatrice. Cette formalisation a été effectuée et étudiée dans le cadre de la logique propositionnelle lors d'un travail antérieur. Or, la logique propositionnelle n'est pas un formalisme suffisant pour la plupart des applications du RàPC, qui utilisent des formalismes « attribut-valeur simple ». Cet article étudie une extension de l'adaptation conservatrice à un cadre formel plus général : celui des espaces métriques qui inclut les formalismes « attribut-valeur simple ». Dans ce cadre, un cas s'interprète comme un sous-ensemble de l'espace. Les opérateurs de révision, et en particulier l'opérateur associé à la distance de l'espace métrique, sont étudiés dans ce formalisme, notamment du point de vue des postulats AGM. L'adaptation conservatrice peut alors être formalisée dans le contexte d'un espace métrique donné. Une extension vers une adaptation « moins conservatrice » et vers une adaptation conservatrice floue seront également étudiés

Un algorithme d'adaptation avec des cas exprimés dans la logique de descriptions ALC

National audienceCet article décrit un algorithme d'adaptation pour un système de raisonnement à partir de cas où les cas et les connaissances du domaine sont exprimés dans la logique de descriptions expressive ALC. Le principe consiste à supposer que le cas source à adapter résout le cas cible, ce qui entraîne des contradictions avec le contexte du cas cible et avec les connaissances du domaine. L'adaptation consiste alors à résoudre ces contradictions. L'algorithme est fondé sur une extension de la méthode classique des tableaux employée pour le calcul d'inférences déductives en ALC

Conservative Adaptation in Metric Spaces

International audienceConservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work thanks to the AGM theory of belief revision applied to propositional logic. However, this formalism is rarely used in case-based reasoning systems. In this paper, conservative adaptation is extended to a more general representation framework, that includes also attribute-value formalisms. In this framework, a case is a class of case instances, which are elements of a metric space. Conservative adaptation is formalised in this framework and is extended to α-conservative adaptation, that relaxes the conservativeness. These approaches to adaptation in a metric space transform adaptation problems to well-formulated optimization problems. A running example in the cooking domain is used to illustrate the notions that are introduced

An Algorithm for Adapting Cases Represented in an Expressive Description Logic

The original publication is available at www.springerlink.comInternational audienceThis paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The principle is to first pretend that the source case to be adapted solves the current target case. This may raise some contradictions with the specification of the target case and with the domain knowledge. The adaptation consists then in repairing these contradictions. This adaptation algorithm is based on an extension of the classical tableau method used for deductive inference in ALC

QAKiS @ QALD-2

International audienceWe present QAKiS, a system for Question Answering over linked data (in particular, DBpedia). The problem of question interpretation is addressed as the automatic identification of the set of relevant relations between entities in the natural language input question, matched against a repository of automatically collected relational patterns (i.e. the WikiFramework repository). Such patterns represent possible lexical-izations of ontological relations, and are associated to a SPARQL query derived from the linked data relational patterns. Wikipedia is used as the source of free text for the automatic extraction of the relational patterns, and DBpedia as the linked data resource to provide relational patterns and to be queried using a natural language interface

Filling the Gaps Among DBpedia Multilingual Chapters for Question Answering

International audienceTo publish information extracted from multilingual pages of Wikipedia in a structured way, the Semantic Web community has started an effort of internationalization of DBpedia. Multilingual chapters of DBpedia can in fact contain different information with respect to the English version, in particular they provide more specificity on certain topics, or fill information gaps. DBpedia multilingual chapters are well connected through instance interlinking, extracted from Wikipedia. An alignment between properties is also carried out by DBpedia contributors as a mapping from the terms used in Wikipedia to a common ontology, enabling the exploitation of information coming from the multilingual chapters of DBpedia. However, the mapping process is currently incomplete, it is time consuming since it is manually per- formed, and may lead to the introduction of redundant terms in the ontology, as it becomes difficult to navigate through the existing vocabulary. In this paper we propose an approach to automatically extend the existing alignments, and we integrate it in a question answering system over linked data. We report on experiments carried out applying the QAKiS (Question Answering wiKiframework-based) system on the English and French DBpedia chapters, and we show that the use of such approach broadens its coverage